Search results for "Process calculus"
showing 2 items of 2 documents
CTR: A calculus of timed refinement
1995
This paper presents CTR — a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems. CTR terms are provided both with operational and specification semantics (via the notion of specification refinement). Besides the intuitive justification of appropriateness of the refinement notion, a preservation theorem is proved for a timed variant of Hennessy-Milner logic. A comparison of CTR with the related formalism of Timed Modal Specifications, and with the timed process calculi TCCS due to Wang is given. Some pragmatics of the application of CTR is sketched on a critical resource access example.
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution
2015
Key2phone is a mobile access solution which turns mobile phone into a key for electronic locks, doors and gates. In this paper, we elicit and analyse the essential and necessary safety and security requirements that need to be considered for the Key2phone interaction system. The paper elaborates on suggestions/solutions for the realisation of safety and security concerns considering the Internet of Things (IoT) infrastructure. The authors structure these requirements and illustrate particular computational solutions by deploying the Labelled Transition System Analyser (LTSA), a modelling tool that supports a process algebra notation called Finite State Process (FSP). While determining an in…